<?php
  function e($data) {
    echo(htmlspecialchars($data));
  }
